3

A User-friendly Tool for Model Checking Healthcare Workflows

Year:
2013
Language:
english
File:
PDF, 501 KB
english, 2013